logic calculus

邏輯演算